On the Derived Category of an Algebra over an Operad
نویسندگان
چکیده
We present a general construction of the derived category of an algebra over an operad and establish its invariance properties. A central role is played by the enveloping operad of an algebra over an operad.
منابع مشابه
$omega$-Operads of coendomorphisms and fractal $omega$-operads for higher structures
In this article we introduce the notion of textit{Fractal $omega$-operad} emerging from a natural $omega$-operad associated to any coglobular object in the category of higher operads in Batanin's sense, which in fact is a coendomorphism $omega$-operads. We have in mind coglobular object of higher operads which algebras are kind of higher transformations. It follows that this natural $omeg...
متن کاملAdjunctions between Hom and Tensor as endofunctors of (bi-) module category of comodule algebras over a quasi-Hopf algebra.
For a Hopf algebra H over a commutative ring k and a left H-module V, the tensor endofunctors V k - and - kV are left adjoint to some kinds of Hom-endofunctors of _HM. The units and counits of these adjunctions are formally trivial as in the classical case.The category of (bi-) modules over a quasi-Hopf algebra is monoidal and some generalized versions of Hom-tensor relations have been st...
متن کاملCombinatorial Operad Actions on Cochains
A classical E-infinity operad is formed by the bar construction of the symmetric groups. Such an operad has been introduced by M. Barratt and P. Eccles in the context of simplicial sets in order to have an analogue of the Milnor FK-construction for infinite loop spaces. The purpose of this article is to prove that the associative algebra structure on the normalized cochain complex of a simplici...
متن کاملar X iv : q - a lg / 9 70 20 14 v 1 1 0 Fe b 19 97 Higher - Dimensional Algebra III : n - Categories and the Algebra of Opetopes
We give a definition of weak n-categories based on the theory of operads. We work with operads having an arbitrary set S of types, or ‘S-operads’, and given such an operad O, we denote its set of operations by elt(O). Then for any S-operad O there is an elt(O)-operad O+ whose algebras are S-operads over O. Letting I be the initial operad with a one-element set of types, and defining I0+ = I, I(...
متن کاملDerived division functors and mapping spaces
The normalized cochain complex of a simplicial set N(Y ) is endowed with the structure of an E∞ algebra. More specifically, we prove in a previous article that N (Y ) is an algebra over the Barratt-Eccles operad (cf. [2]). According to M. Mandell, under reasonable completeness assumptions, this algebra structure determines the homotopy type of Y (cf. [14]). In this article, we construct a model...
متن کامل